Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
A survey of verification techniques for parallel programs: | Barringer, Howard |
(c1985) |
Domicilio
|
---------- |